var editorSetting = {
	language: 'java',
	fontFamily: 'Courier New',
	fontSize: 20,
	theme: 'ambiance',
	scrollSpeed: 2,
	scrollPastEnd: 1,
	readOnly: false,
	showLineNumbers: true,
	showPrintMargin: true,
	printMarginColumn: 100
}